A new 3-CNF transformation by parallel-serial graphs
نویسندگان
چکیده
For propositional formulas we present a new transformation into satisfiability equivalent 3-CNF formulas of linear length. The main idea is to represent formulas as parallel-serial graphs. This is a subclass of directed acyclic multigraphs where the edges are labeled with literals and the AND operation (respectively, the OR operation) is expressed as parallel (respectively, serial) connection.
منابع مشابه
Analysis of Photovoltaic Module Resistance Characteristics
Abstract: This paper proposes a new analysis method for photovoltaic (PV) modules. The main objectives are to obtain the resistance parameters of PV modules by adjusting I-V equation and voltage equation of diode and to find the relationship between resistance parameters and power. Firstly, values of serial resistance and parallel resistance at maximum power point are concluded. Secondly, the c...
متن کاملDesign and Kinematic Analysis of a 4-DOF Serial-Parallel Manipulator for a Driving Simulator
This paper presents the kinematic analysis and the development of a 4-degree-of-freedom serial-parallel mechanism for large commercial vehicle driving simulators. The degrees of freedom are selected according to the target maneuvers and the structure of human motion perception organs. Several kinematic properties of parallel part of the mechanism under study are investigated, including the inve...
متن کاملParallel Independence in Hierarchical Graph Transformation
Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical structure, and transformation rules are equipped with graph variables. In this paper we analyze conditions under which diverging transformation steps H ⇐ G ⇒ H ′ can be joined by subsequent transformation sequences H ∗ ⇒ M ∗ ⇐ ...
متن کاملA Correction Method for Parallel Loop Execution
A new method of parallel loop execution is presented. Firstly, all the loop iterations are executed in parallel. Then, the ends of pairs of dependent iterations are re-executed. The method requires no conversion of a source loop into an equivalent serial-parallel loop, involving iteration indices to be converted into new ones, that appears to be a typical requirement in the most known loop para...
متن کاملMechanical System Modelling of Robot Dynamics Using a Mass/Pulley Model
The well-known electro-mechanical analogy that equates current, voltage, resistance, inductance and capacitance to force, velocity, damping, spring constant and mass has a shortcoming in that mass can only be used to simulate a capacitor which has one terminal connected to ground. A new model that was previously proposed by the authors that combines a mass with a pulley (MP) is shown to simulat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 109 شماره
صفحات -
تاریخ انتشار 2009